#include <stdio.h>
#include <string>

void write_to_file(const std::string &message);
void redToFile(const char *message);